theorems in logic